<script type="text/javascript">
<!--
<?php foreach($options as $key => $value): ?>
toboads_<?php echo $key ?> = "<?php echo htmlspecialchars($value); ?>";
<?php endforeach; ?>
//-->
</script>
<script type="text/javascript" src="<?php echo $server_url ?>"></script>